rigorous limit